Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
231	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:32 Algebra Mathematics Abstract algebra Algebraic structures Semigroup theory Automated theorem proving Logic programming Category theory Unification Monoid Semigroup Substitution
232	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
233	Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1 arXiv:1403.4147v4 [quant-ph] 3 Jan 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-01-05 21:00:17 Physics Quantum mechanics Theoretical physics Logic Quantum logic Laws of science Hilbert space Special relativity Spin
234	Sally Haslanger American Academy of Arts and Sciences Induction Ceremony Class IV: Humanities and Arts Speaker October 10, 2015 It is a great honor to be here and to be invited to speak. Thank you. I come before you as a Add to Reading List Source URL: sallyhaslanger.weebly.com Language: English - Date: 2015-10-12 15:19:34 Philosophy Epistemology Philosophy of science Cognitive science Logic Axiology Ethics Philosophy of life Social philosophy Inquiry Introspection
235	Botany 575 — Special Topic: Intro to Modern Statistical Methods for Biologists FallProvisionally, meets with Statistics 479) Course Structure and Motivation Structure: Introduction to Modern Statistical Methods Add to Reading List Source URL: biologymajor.wisc.edu Language: English - Date: 2016-02-12 10:16:22 Statistics Psychometrics Science Logic Philosophy of science Data Information Bioinformatics Statistical hypothesis testing Data analysis Bayesian statistics Statistical inference
236	What can a philosopher and logician do for your enterprise? v. 3, A series of un-ordered top ten lists with brief, non-exhaustive annotations to answer the question above follows. Top ten skills concerning philosophy in Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-11-11 18:49:37 Logic Philosophy Science Formal sciences Belief Thought Computability theory Theoretical computer science Mathematical logic Argument ChurchTuring thesis Computation
237	Generalization and Systematicity in Echo State Networks Stefan L. Frank () Institute for Logic, Language and Computation, University of Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam, The Neth Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:04 Artificial neural networks Cognition Computational neuroscience Cognitive science Applied mathematics Artificial intelligence Computational statistics Computational linguistics Language model Echo state network Recurrent neural network Connectionism
238	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
239	ModelSim Population Biology 2014v3.0- Center for Connected Learning at Northwestern University All data and images from Isle Royale (http://www.isleroyalewolf.org/) used with permission from JA Vucetich & RO Peterson Isl Add to Reading List Source URL: modelsim.tech.northwestern.edu Language: English - Date: 2014-06-29 22:58:31 Critical thinking Logic Philosophy Epistemology Philosophy of science Scientific method Scientific revolution Argument ModelSim Explanation Science
240	Validated Simulation for Cloud Scheduler Engineering Alexander Pucher, Rich Wolski, and Chandra Krintz Department of Computer Science University of California, Santa Barbara {pucher, rich, ckrintz}@cs.ucsb.edu Add to Reading List Source URL: gswc.cs.ucsb.edu Language: English - Date: 2016-03-01 02:43:38 Computing Cloud infrastructure Electronic design automation Simulation Operations research Logic simulation Monte Carlo method Eucalyptus Cloud computing

UPDATE